Les jeux de mise en abyme dans El Hombre de Montserrat (1996) de Dante Liano

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

Calcul des équilibres de Nash dans les jeux temporisés

Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...

Participation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine

Approche de présélection multicritère à base de traces pour la prise de décision dans les applications interactives de type jeux

The decision making in games is essential to make them more automated and smart. A decision algorithm performs its calculations on the set of all the possible solutions. This increases the computation time and may become a combinatorial explosion problem if we have a huge solution space. To overcome this problem, we present our work on relevant solutions preselection before making a decision. W...

Mise en évidence d'invariants dans une population de cas chirurgicaux

Résumé. Ces dernières années, les progrès en informatique et en imagerie numérique ont fait émerger une nouvelle discipline, la chirurgie assistée par ordinateur. Les systèmes de chirurgie assistée par ordinateur contribuent à l’amélioration du déroulement des procédures chirurgicales. Un des objectif à long terme de nos travaux est de proposer des solutions d’amélioration de ces systèmes, basé...